Merge branch 'directorylist-monitor' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 8 Jul 2020 02:25:46 +0000 (02:25 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 8 Jul 2020 02:25:46 +0000 (02:25 +0000)
directorylist: Add monitoring

See merge request GNOME/gtk!2207


Trivial merge